Added Logic lecture