Greater means anything that you can think of that would be greater for a program. For example, it would be faster. It would be more maintainable. It would be mo

Greater means anything that you can think of that would be greater for a program. For example, it would be faster. It would be more maintainable. It would be more everything. We ultimately don't have to prove it. We only have to agree together. (Another way of saying this is that it's unprovable, but every programming master will tell you it's true)