A is an alphabet