Kontribusi logis bubuhannya tu masih fitur dalam kalkulus proposisi kontemporer.