a => x + y