quotes
denotative programming
category & laws