A Is for Abductive