Function Machines Creating Equations