Primal logic