CartesianLogic is following