Bağırmadan satış yapan bir sunum dili: yapı, kanıt ve tutarlılık.