assume-3