Prime ~ Logic