truth be told, I have been wondering about the forum being so quiet. seems I'm one of the few doing theory3 and logic3 in the second semester.
But the 'test' was actually a post gone wrong. -> I planned on asking a question (which had some logic symbols in the text) and then, on posting, the forum kind of freeked out with an SQL error (guessing it couldnt escape some of those characters). meant to remove the test afterwards -> but it seems it got away from me