Connective_(logic) loading ...