A Tripos by Robert Manns