1 => [a]; a 1 in [a]; a