OK. (Explicit)

SIGNS (Extended Version)