Updated intro and derivation