Justification Of Specification Examples