ClassicILL (Explicit)