Adding sample of the calculations with Church booleans