Title: Core Aig & Math for Carpentry Pkg