aaq answers Learning Abstract Math from First Principles?