mathematical underpinnings