ignore more latex generated files
add build automation
definition of W_c
proof most important statements