Create Cases.agda