We consider several equivalent definitions of the so-called Milnor laws (or Milnor identities) that is the laws which are not satisfied in ApA varieties. The purpose of this article is to provide algorithms that allow us ...