spec1: implemented