My instantiation of logic isn't physicalized? Is there unphysicallized logic?