Behavioral provision semantics for #23