pretty_logic
