15.8 generic erasure