reverted spec