booleaanse algebra
bibliografie gestart
tot aan HID en UFD
tot aan velden: consolidate