This actually can't happen, but this is what was meant