added more thms