In construing claims, it is erroneous to consider intrinsic evidence outside of the claim language (written description, figures, and the prosecution history) if the claim language is clear and its meaning is not contradicted by the written description; the word “substantial” implies “approximate”, and may be used in patent claims to avoid a strict numerical boundary; upon finding non-infringement a District Court may either hear an invalidity counterclaim or dismiss it without prejudice.