double space -> single space between `for` and `state`