System F vs. Cosmic Gate