(definitions and notes at the end of the post)