Cplotkin presentations