Title: Meta-calculus