Formatting changes to logic_and_booleans