optima
optima copied to clipboard
Pattern guards
cf. #109