Theormech task1 nb