Do not use proper explicitly but let setoids handle it.