spaces after `7`, after `(` and before `)`