Principled set of call/unfold commands. More to come.