implement AND (untested) (contributes to #10)