programconstructions done
deduction