Integrated functions sinplification and propabilities notation. Should sholve #1 but needs testing.