Virtual Logic—Reflexive Domains