Title: Compact calculus