Strictness and totality analysis
scientific article; zbMATH DE number 1383803