Figured how to neatly write the alternative to p001