HOL 3892c