Creating Assertion-Based Ip door Harry D. Foster & Adam C. Krolnik