Absolutely the best explanation of @ycombinator SAFE terms from @clerkyinc