Sway - FORMALOG