logic of @ and fat arrow