charlie is invalid.