I think it's better to put the implies field at the end because it's a result of the patterns and as it is as it in all the over apps.