Text this: RETRACTED: Tax procedural proof: problems of theory and practice