ZX-Limit and RaMoN