AsAbove|SoBelow (Extended Version) [Explicit]