Reductio Maltcev