Providence for LibisCode