hy_existence on ZAPS