Lucas injury makes top-class holding midfielder wonder what might have been