Behavioural FOs (cont'd) + Output FOs