A mathematical sentence that contains an equals sign.
A group of related facts using the same numbers
Imported from external platform