Deakstadieđáhus: Contemporary logic design