Al via Assertion and Proof, la III edizione di Filog