Justification Of Specifications