VDict mobile



logicaltheory was not found