View @procedure on Firefly