First commit
Red: Test if require keeps the properties