renamed beliefstate extensional functions