Testing methods for Enid's claim