assert to assume