literal seal wasn't taken into account