ABSTRACT: improved specification