True assumptions