sub AND {
  @_ > 1 ? shift && AND(@_) : @_ ? shift : '#t';
}