Add ATS for #9, #10, #11