vimrc. Description of 2SAT without code.