1 2 3 4 5 6
include "assumption-filled" # (include (@ 1 0-7) ‘"assumption-filled"’ # (.inner nil) # )