specs for #13