We give three applications of a recently-proven "Decomposition Lemma," which allows one to count preimages of certain sets of permutations under West's stack-sorting map s. We first enumerate the permutation class s −1 (Av(231, 321)) = Av (2341, 3241, 45231), settling a conjecture of the current author and finding a new example of an unbalanced Wilf equivalence. We then prove that the sets s −1 (Av(231, 312)), s −1 (Av(132, 231)) = Av (2341, 1342, 3241, 3142), and s −1 (Av(132, 312)) = Av (1342, 3142, 3412, 3421) are counted by the so-called "Boolean-Catalan numbers," settling a conjecture of the current author and another conjecture of Hossain. This completes the enumerations of all sets of the form s −1 (Av(τ (1) , . . . , τ (r) )) for {τ (1) , . . . , τ (r) } ⊆ S3 with the exception of the set {321}. We also find an explicit formula for |s −1 (Av n,k (231, 312, 321))|, where Av n,k (231, 312, 321) is the set of permutations in Avn(231, 312, 321) with k descents. This allows us to prove a conjectured identity involving Catalan numbers and order ideals in Young's lattice.