⁴This subtle but important feature distinguishes FriCAS from other abstract datatype designs.