HOL on The Project