I like these simplifications ;)