simple & lucid Specification