Conjunction_(logic) loading ...