Theseus - Selaus asiasanan mukaan "induction (inference)"