The behaviour of an undecorated call, spelled out. It exists so that a call site pairing with left elsewhere can state which of the two it means instead of relying on the reader knowing the default.