Fat arrows aren't needed here