reference to Logic course