I = a => a
