thomas (loves logic)