Faa can express the link between a fulfilled condition and its consequence.