UPDATE: False alarm - I was in too deep. AC E is a fine conditional statement alone, but it does not fit into the premise chain. Obviously, you can't say exceed budget this year --> renovate next year - we have no way of knowing this is true. This is ...