Some rules and pretty printing