4.7
Duality ZF