Ensure abdexp hyps explain everything they should explain.