from assumed principles