the hytech model checking tool is based on this model ray and debra are considering not have frank drive their kids they went to the home of davis carpenter where joshua brown was also present