Personal tools

Base cases and identities