How else do you propose to construct procedures that control type I error and evaluate their properties?