Adjudication: Law and Logic