This assumption does not hold on Mono