Lifts as constant objects, rather than interactions

Printable View