[Davidzheng]

Also there's no clear way to verify the solution. There could be easily multiple rules which works on the same examples