implement the spec

I made the statement of our prototype with text roughly. Paper
prototype will submit tomorrow.