Add AF1-calculus