Text this: Factorisation Theory in Submonoids Of (ℕ, X).