Revise the amsth environments