switched to arrow notation