added section on overall likelihood and picalculus implementation
images