ibn sina and ibn rushd