Application of logical principles