LithoRule

fun LithoRule()