new dbintro & new logic