Because of their expense, assertions of this category are rarely supported in their most general form.

• 由于它们的代价问题,这类断言极少以其最常规的形式受支持。