Precise and complete proofs, together with concrete applications with many stimulating