Counter alpha
Ugliness: the history idr ab method