Caution: Insufficient Initialisation Synchronisation Condition