add List.spec