My university logic hometasks.