Splitting logic in logic/basic