Reverted tseitin transformation to the basics