add ATS for #12, #13 and #14