Add specifications and fix explanation