Replacing (Define|Public)State with (Define|Public)Syntax.