Correctes spec implementation