pull down to refresh

Godel's theorem is why I prefer systems that don't strive for completeness.