'Note Logic'? boolean logic, binary, theory, etc. area