The real challenge is that you can't easily predict what phenomena will be caused by what rules, and you can't easily derrive what rules will cause whatever phenomena you are interested in.