[eatnumber1]

Agreed. These are informal. If you want to make a formal proof that it's impossible, I'll make a new category.