Apply laws

Apply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply lawsApply laws