import TTFPI.Basic namespace WeakOmega end WeakOmega