The system is consistent.