Logic Estimates