Identificabilidade na fronteira para termos de primeira ordem | Synapse