Overview¶ This documentation is for users who want to create hypotheses that can be tested automatically by DISK.