include "assumption-filled"

# (include (@ 1 0-7) ‘"assumption-filled"’
#   (.inner nil)
# )