A FORTIORI-ABSTRACTION

A FORTIORI-ABSTRACTION