FOL virtual.
