Theos
Write an argument. See whether it holds.
Example
Gallery
Loading the checker…