finished spec implies nonspec