Solved couple of problems from HTT