Added definition of 3-arrow calculus