fulfilment calculus