Reductio on Groover