BIPs by Mark Friedenbach