A General Framework for Sound and Complete Floyd