Belief

typealias Belief<State> = (State) -> State(source)