S4 Inconsistences