En términos epistémicos, establece que si un agente sabe/conoce formula_5 y sabe que formula_44, entonces el agente debe también saber/conocer formula_45.