I understand the code cleaning, but I doubt this is semantically True...