conditions: Zk