Not a song from School House Rocks. A conjunction introduction is a basic rule of logic. If you know A and you know B than amazingly enough you know A and B.