View @assume on Firefly