Design By Contract (CloudMonk.io)
#redirect
design by contract (DbC)