removed rightarrow