No definition exists for Thomas' Theorem