FS Foundations: Symbolic Reasoning