We prove that a K 4 -free graph G of order n, size m and maximum degree at most three has an independent set of cardinality at least 1 7 (4n − m − λ − tr ), where λ counts the number of components of G whose blocks are each either isomorphic to one of four specific graphs or edges between two of these four specific graphs and tr is the maximum number of vertex-disjoint triangles in G. Our result generalizes a bound due to Heckman and Thomas [C.C. Heckman, R. Thomas, A new proof of the independence ratio of triangle-free cubic graphs, Discrete Math. 233 (2001) 233-237].We consider finite simple and undirected graphs G = (V, E) of order n(G) = |V | and size m(G) = |E|. The independence number α(G) of G is defined as the maximum cardinality of a set of pairwise non-adjacent vertices which is called an independent set.Our aim in the present note is to extend a result of Heckman and Thomas [6] (cf. Theorem 1) about the independence number of triangle-free graphs of maximum degree at most three to the case of graphs which may contain triangles. With their very insightful and elegant proof, Heckman and Thomas also provide a short proof for the result conjectured by Albertson, Bollobás and Tucker [1] and originally proved by Staton [9] that every trianglefree graph G of maximum degree at most three has an independent set of cardinality at least 5 14 n(G) (cf. also [7]). (Note that there are exactly two connected graphs for which this bound is best-possible [2,3,5,8] and that Fraughnaugh and Locke [4] proved that every cubic triangle-free graph G has an independent set of cardinality at least 11 30 n(G)− 2 15 , which implies that, asymptotically, 5 14 is not the correct fraction.) In order to formulate the result of Heckman and Thomas and our extension of it we need some definitions.