Testing propositions and fulfilments