thoughts about a cbpv variant of Frank and its semantics