Topics Related to Definition and Zero-Proof: