Lausch-Logical