Write QnA
1. Model checking