Updated theorem environments