explicit annotation on algorithm