Sa likas nitong anyo , ang kayarian ng mga palagay ang nagkakaroon ng partikular na pansin  @-@  @-@  ang pormal na ugnayan sa pagitan ng bagong gawang mga pahayag at mga napatunayan nang pahayag , kung saan nangangahulugan ang " pormal " na malaya ang ugnayan mula sa pahayag nito mismo.
