Create 1.3_logic.md