semantics of remaining boolean connectives

one_one and onto remain