ZF-introduce