Key is already destructured
"condp =" => "case"
Abstraction barrier on sessions/session mutation
Abstract register mutation and cleanup