refinement of zk to move from inherit to include