Program Logic Examples