formal details