- abstract description/assertion - abstract command