Implementation of AND.