And then, when some poor programmer finally comes to writing an actual implementation, he finds out that it's literally impossible without magic.