A and b explision