simplified instances