Satisdation definitions