x
firstorderpredicate — LessWrong