ignore Vim files
law checking for algebraic structures