Find the id of songs that are available in mp4 format and have resolution lower than 1000.
SELECT f_id FROM files WHERE formats  =  "mp4" INTERSECT SELECT f_id FROM song WHERE resolution  <  1000
songs available in mp4 format refers to formats = 'mp4'; songs with resolution lower than 1000 refers to resolution < 1000;