PHILOS211: Elementary Logic (001) SP21