Logic AND Introduction
Common descendants