spaces after "<-"