Finish initial draft of specification for Result classes