Less hand-wavy description