Specker sequence