The finite embeddability property for IP loops and local embeddability of groups into finite IP loops