Intros (Explicit)

Suppose 2 BE (Explicit)