Random Logic.