Logical_atomism loading ...