This is expensive; let's keep it, though.