An audited elementary algebra