The Equality Machine