p4 presentation initial: motivation
intro and elim, what _is_ a record?