Logika teik lītuota, kab nūdrūsynuotu formalu semantiku par tū, kai sprīsšonys funkcejis juopīmāroj simbolim KR sistemā.