Text this: A full formal representation of Arrow’s impossibility theorem