Welcome to Ternary Moral Logic. Verification refreshed.