L4-Logic, Modern