Calculations over a field of order 4