Two Step Function Machines Algebra