I got HD in COMP9020 taught by Paul Hunter. When I find COMP4141 is also taught by him, I assume I can handle this course. However, this course is far harder than COMP9020 that Paul just teaches you the basic concepts and you need to finish some weird proof questions in weekly assignments. Anyway, I drop this course because my math is really poor. Don't choose this course unless you can handle really abstract concept proving.