Review of Symbolic Logic (RSL)