I use some code found in MIKAEL SVENSON blog: https://www.techmikael.com/2019/01/a-no-nonsense-solution-to-implement.html. Here is the sample code:
ForAll(