The Cornell Method Definition Programming