Ji vs Je: Declarative vs Imperative reasoning?