Dive deeper into Function application
New Tab
Dive deeper into Denotation
New Tab