pull out assumptions as before block