general laws and theorems