spec5: 一旦