claim-normal-form by tompassarelli — theskillcity