Two notions of causal sufficiencyFormal machinery