law logic