added proof that this is a weird case