Finished math proof of concept