Aesthetic revulsion at software bloat is the intuitively derived conclusion of logically derived facticity.