Lantern Logic