PHILOS211: Elementary Logic (002) SP25