[PD] $0-inconsistency