... comes mainly from solving many games and having the necessary experience ... is covered in the basic logic translations discussed in curriculum ... helps to understand how a "not both" (A -> /B) rule ... use certain translations for certain games. Use JY's method: ...