Added proof of left strictness, removed New.Properties