Examples for ZF2