*^* Element crosses in and checked for correctness