 Like the Formal Rule, this rule is asymmetrical: it puts restrictions on the proponent’s ability to choose new contexts. Both rules specify how information—about elementary statements or contexts—becomes available to P only if O has previously provided it.