SELECT name FROM songs WHERE artist_id = ( SELECT id FROM artists WHERE name = 'Post Malone' );