It's a non rule chess for proof openGL