Revise spec
Revise spec