Out

Anything omitted, and marked for insertion in the proof by the reader is said to be an “out.”