Students investigate the order of operations as a logical structure for maintaining equivalence in expressions.