A graph G is said to be L-colourable if for a given list assignment L = {L(v)|v ∈ V (G)} there is a proper colouring c of G such that c(v) ∈ L(v) for all v in V (G). If G is L-colourable for all L with |L(v)| ≥ k for all v in V (G), then G is said to be k-choosable.
This paper focuses on two different ways to prove list colouring results on planar graphs. The first method will be discharging, which will be used to fuse multiple results into one theorem. The second method will be restricting the lists of vertices on the boundary and applying induction, which will show that planar graphs without 3- cycles and 4-cycles distance 8 apart are 3-choosable
