17_mathematical_logic_for