<prompt> Toa mfano wa sarufi isiyo na muktadha.  <response>: Hii inaonyesha ukweli kwamba S inaweza kubadilishwa na SS. Hii inawakilisha ukweli kwamba safu mbili zilizoundwa vizuri zinaweza kuunganishwa ili kutoa safu kubwa iliyoundwa vizuri. Sheria ya pili inasema kwamba S inaweza kubadilishwa na S. Hii inaonyesha ukweli kwamba safu iliyoundwa vizuri inaweza kubadilishwa na jozi ya vifungo ili kutoa safu nyingine iliyoundwa vizuri. Mfano wa mwisho unasema kwamba S inaweza kubadilishwa na Katika sheria hii ya kuingia, ukweli kwamba jozi tupu ya vifungo imebadilishwa na hatua za chini. 