Irreducible integer-valued polynomials with prescribed minimal power that factors non-uniquely | Synapse