compiles
implemented forAll, BoardPos,..