Sysode linear 2order 2eq

Why use 1 and 0 rather than boolean? This applies to later instances as well.