Attempt at making definitions shorter