assumption end assumption # (assumption (@ 1 0-10) # (.inner nil) # )