skolem done
fixing lambdas in 04
finished section 14