annotation test
try propcheck style