"foo" True foo 3 foo 2 < True False Prop > < True False Prop > < > < > << 1 2 3 >>