let's use fewer symbols