Implemented the rest of cartesian abstraction classes.