full (1, x) = true
full (1, x) = true