spec5: implemented.