This work product represents a discovered discrepancy between a requirement and its realisation in the solution model.