Documentation for Distrib