This page is now at /score/docs/logic/.