draft new stuff for the logics course