A bit more work on denormalization