First LegalityCheck prototype.