Closure of OP-B: Derivation of the Hierarchical Filter Factor k from the PDL Axioms | Synapse