01 Problem solving and proof