beanbag a language for automatic model inconsistency fixin published presentations and documents on DocSlides.