a is valid.