Documentation of SANEi