Update to theoryopus