Tipicidade - Tipicidade formal