steadfast(bound_before).
steadfast(bound_after).
steadfast(selects_matching_alternative).
steadfast(shared_sequence).