Auditing an assertions approach - Taylor