We saw direct experimental evidence that the first alarms in the ECE building are operational. We reviewed the definitions of one-to-one and onto, doing proofs of both properties for specific concrete functions. We also looked at the pigeonhole principle, including a typical example of a proof that uses it.