Actually, have to be careful about propagating expensive constants