Proposição que existe em função de outra proposição em curso.