How to turn internal domain facts into reliable contracts between bounded contexts.