@ImpossibleIsNothing