Synthesizing judgements: a functional equations approach