https://monodes.com/predaelli/2019/12/15/eiffels-conditional-expressions/