b5 axb5 30.