more specified assume