records, skeleton, motivation
records intro and elim
worklog
record grammar
wording
record projection has identifier on rhs