Properties of Algorithm