damn... i didn't search before posting that! retracting Binary as a submission and substituting.

1. Logic
2. Schema
3. Theory