Pure cartesian logic