a formal representation of mechanical functions to