MICALI (Explicit)