A-magic hasn't annotated any lines!