appendix b design of logic 2282284