Topik: formalisasi islam