|
|
|
|

1  cardinal A   
isa a2  cardinal a