Virtual Logic—Recursive Distinctions