add editor information
line wrapping
add essential constraints in Spec