Buying a home in San Francisco. Reframework not initializing github. MSS54HP DME. Informal and formal contracts examples.