Latent Logic