Title: Safe Bet Lib/E