Lecture 7: Implementation of A and not B