Proof
compute
profits
recursion
ortho
orthogonal
