simplified instances and relevant classes