Document assumptions