destructure spec