Added a comment with a prettier matcher syntax idea for laws checking.