https://www.seb68.fr/2017/07/09/hina-logic-from-luck-logic/