#73 Move laws from test to main