Properly update OU Theorymon