In this paper, we will examine a strong form of Oka's lemma which provides sufficient conditions for compact and subelliptic estimates for the ∂-Neumann operator on Lipschitz domains. On smooth domains, the condition for subellipticity is equivalent to D'Angelo finite type and the condition for compactness is equivalent to Catlin's condition (P). As an application, we will prove regularity for the ∂-Neumann operator in the Sobolev space W s , 0 ≤ s < 1 2 , on C 2 domains.