formalize project