Refinement of Abstraction in comments