Not strictly true (we have tests that prove otherwise)