double of ext_2 spec