Comment by contravariant

Not sure, I'm basing most of this on lecture notes I got at university.