script demo(){
  impRight;
  impRight;
  impLeft;
  cases {
	case match `!q ==> p`:
		notLeft;
		notRight;
		closeAntec;

	case match `q==>!p`:
		auto;
   }
}