No Future Assertion