Normal closure-finding