LIBRA (Explicit)

INTRO (PoppN S*+t) (Explicit)