# Example of a problem for which Zero-Knowledge proof is not sequentially composable

There are notions that a Zero-knowledge proof with auxiliary input is necessary for sequential composition. However, the authors here give a very convoluted example of a system which is not sequentially composable under the original ZK definition. Could you please give me an example where the original definition by Goldwasser et al. is not enough for sequential composability?