Consistent System Specifications