Resolute Logic