Rough draft of the basics section up to listing object states