Program Logic Map Examples