non-assumption

ada