TĆ³pico: formalizaĆ§Ć£o