Statement and assumption session-4