Clause_(logic) loading ...