Added Assertion for 0-Tuple for -and, -or