Abe's simplification added