Who needs to prove a harmony with algebra when the latter can just generate the former. ‎- 9000